package joc;

import java.lang.annotation.Documented;
import java.lang.annotation.ElementType;
import java.lang.annotation.Target;

@Documented
@Target({ ElementType.METHOD, ElementType.CONSTRUCTOR })
public @interface PostConditionHook {
	Class<?>[] value();
	String id() default "";
	
	@Documented
	@Target({ ElementType.METHOD, ElementType.CONSTRUCTOR })
	public @interface List {
		PostConditionHook[] value();
	}
}
